#ifndef __EXCEPT_H_
#define __EXCEPT_H_

#include "../PUBLIC/public.h"

void except_und(u32 addr);
void except_swi(u32 addr);
void except_pabort(u32 addr);
void except_dabort(u32 addr);
void except_irq(u32 addr);


#endif
